Mercoledì 8 Marzo, 2023 by CAD Informatica Informatica
The lecture of the course "Automated Verification of Cyber-Physical Systems" (Master Degree in Computer Science) to be held on Friday 10th March 2023 will not take place.